void portal(Player @player, Portal @portal) {
player.changeMap(130010010, "out00");
}